SherbyNet - /page/wikibook/entry.mu

Micron Document

<!DOCTYPE html>

<title>PureScript</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">PureScript</h1>

</header>

</div>

<td colspan="2" class="entete informatique" style="background-color:#999999;color:black;">PureScript<style data-mw-deduplicate="TemplateStyles:r228712691">

/* start https://fr.wikipedia.org/ */

.mw-parser-output .entete.informatique{background-image:url("./_mw_/Picto.nfo.png")}

/* end https://fr.wikipedia.org/ */

</style>

</td></tr>

<tr>

<tr>

<th scope="row">Date de première version

</th>

<td>2013

</td>

</tr>

<tr>

<th scope="row"><a href="Paradigme_(programmation)" title="Paradigme (programmation)">Paradigmes</a>

</th>

<td><a href="Programmation_fonctionnelle" title="Programmation fonctionnelle">fonctionnel</a>

</td>

</tr>

<tr>

<th scope="row">Auteur

</th>

<td>Phil Freeman

</td>

</tr>

<tr>

<th scope="row"><a href="Version_d'un_logiciel" title="Version d'un logiciel">Dernière version</a>

</th>

<td>0.15.15 (<time class="nowrap date-lien" datetime="2024-02-07" data-sort-value="2024-02-07"><a href="7_f%C3%A9vrier" title="7 février">7</a> <a href="F%C3%A9vrier_2024" title="Février 2024">février</a> <a href="2024_en_informatique" title="2024 en informatique">2024</a></time>)

</td>

</tr>

<tr>

<th scope="row">Typage

</th>

<td><a href="Typage_fort" title="Typage fort">Fort</a>, <a href="Typage_statique" title="Typage statique">statique</a>,<a href="Inf%C3%A9rence_de_types" title="Inférence de types">Inférence de type</a>

</td>

</tr>

<tr>

<th scope="row">Influencé par

</th>

<td><a href="Elm_(langage)" title="Elm (langage)">Elm</a>, <a href="F_Sharp" title="F Sharp">F#</a>, <a href="Haskell" title="Haskell">Haskell</a>, <a href="Koka" class="mw-redirect mw-disambig" title="Koka">Koka</a>, <a href="OCaml" title="OCaml">OCaml</a>, <a href="Roy" class="mw-disambig" title="Roy">Roy</a>, <a href="Standard_ML" title="Standard ML">Standard ML</a>

</td>

</tr>

<tr>

<th scope="row"><a href="Licence_de_logiciel" title="Licence de logiciel">Licence</a>

</th>

<td><a href="Licence_de_logiciel_permissive" title="Licence de logiciel permissive">Permissive</a> (<a href="Licence_BSD#Licence_BSD_Modifiée" title="Licence BSD">Licence_BSD_Modifiée</a>)<a href="#cite_note-license-2">[2]</a>

</td>

</tr>

<tr>

</th>

<td><a rel="nofollow" class="external text" href="http://www.purescript.org">www.purescript.org</a>

</td>

</tr>

<tr>

<th scope="row"><a href="Extension_de_nom_de_fichier" title="Extension de nom de fichier">Extensions de fichiers</a>

</th>

<td>.purs

</td>

</tr>

<tr>

</tr>

</tbody></table>

PureScript est un <a href="Langage_de_programmation" title="Langage de programmation">langage de programmation</a> <a href="Programmation_fonctionnelle" title="Programmation fonctionnelle">fonctionnel</a> <a href="Typage_fort" title="Typage fort">fortement typé</a> dont la compilation produit du code <a href="JavaScript" title="JavaScript">JavaScript</a>. Il peut être utilisé pour développer des <a href="Application_web" title="Application web">applications web</a>, des applications serveur, et également des applications de bureau grâce au <a href="Framework" title="Framework">framework</a> <a href="Electron_(framework)" title="Electron (framework)">Electron</a>. Sa syntaxe est pour l'essentiel comparable à celle d'<a href="Haskell" title="Haskell">Haskell</a>. Cependant, le langage introduit un <a href="Polymorphisme_(informatique)#Polymorphisme_paramétré" title="Polymorphisme (informatique)">polymorphisme paramétré</a> particulier lié aux enregistrements extensibles<a href="#cite_note-3">[3]</a> : les enregistrements polymorphes <a href="https://en.wikipedia.org/wiki/Row_polymorphism" class="extiw external" title="en:Row polymorphism">(en)</a>. De plus, contrairement à Haskell, PureScript adhère à une <a href="Strat%C3%A9gie_d'%C3%A9valuation_(informatique)" title="Stratégie d'évaluation (informatique)">stratégie d'évaluation</a> stricte.

<div class="mw-heading mw-heading2"><h2 id="Historique">Historique</h2></div>

PureScript fut initialement conçu par Phil Freeman en 2013. Celui-ci entama son travail sur PureScript après différentes tentatives insatisfaisantes de compilations d'Haskell vers JavaScript préservant sa sémantique (en utilisant par exemple Fay, Haste, ou GHCJS)<a href="#cite_note-4">[4]</a>.

Depuis, le projet a été repris par la communauté et est développé sur <a href="GitHub" title="GitHub">GitHub</a><a href="#cite_note-5">[5]</a>. Parmi les outils essentiels additionnels développés par la communauté, on peut citer l'outil dédié de compilation "Pulp"<a href="#cite_note-6">[6]</a>, le site documentaire "Pursuit"<a href="#cite_note-7">[7]</a>, et le gestionnaire de packages "Spago"<a href="#cite_note-8">[8]</a>

<div class="mw-heading mw-heading2"><h2 id="Caractéristiques">Caractéristiques</h2></div>

PureScript se fonde sur l'<a href="%C3%89valuation_stricte" title="Évaluation stricte">évaluation stricte</a>, la <a href="Structure_de_donn%C3%A9es_persistante" title="Structure de données persistante">structure de données persistante</a> et l'<a href="Inf%C3%A9rence_de_types" title="Inférence de types">inférence de types</a>. Le <a href="Th%C3%A9orie_des_types" title="Théorie des types">système de types</a> de PureScript partage de nombreuses caractéristiques avec celui de langages fonctionnels similaires comme <a href="Haskell" title="Haskell">Haskell</a>: les <a href="Type_alg%C3%A9brique_de_donn%C3%A9es" title="Type algébrique de données">types algébriques de données</a> et le <a href="Filtrage_par_motif" title="Filtrage par motif">filtrage par motif</a>, les "higher kinded types" <a href="https://en.wikipedia.org/wiki/Type_class#Higher-kinded_polymorphism" class="extiw external" title="en:Type class">(en)</a>, les "type classes" <a href="https://en.wikipedia.org/wiki/Type_class" class="extiw external" title="en:Type class">(en)</a> et les <a href="Type_d%C3%A9pendant" title="Type dépendant">dépendances fonctionnelles</a>, ainsi que le polymorphisme "higher-rank" <a href="https://en.wikipedia.org/wiki/Parametric_polymorphism#Rank-n_("higher-rank")_polymorphism" class="extiw external" title="en:Parametric polymorphism">(en)</a>. Le système de types de PureScript assure également les enregistrements polymorphes <a href="https://en.wikipedia.org/wiki/Row_polymorphism" class="extiw external" title="en:Row polymorphism">(en)</a> et les <a href="Hugs#Extensible_records" title="Hugs">enregistrements extensibles</a><a href="#cite_note-docu-9">[9]</a>. Toutefois, PureScript ne possède pas certaines des caractéristiques les plus avancées d'Haskell comme les <a href="Type_alg%C3%A9brique_de_donn%C3%A9es#GADT" title="Type algébrique de données">GADT</a> et les "type families" <a href="https://en.wikipedia.org/wiki/Type_family" class="extiw external" title="en:Type family">(en)</a>.

Le <a href="Compilateur" title="Compilateur">compilateur</a> de PureScript tend à produire du code JavaScript lisible, autant que possible. Grâce à une simple interface "FFI" <a href="https://en.wikipedia.org/wiki/Foreign_function_interface" class="extiw external" title="en:Foreign function interface">(en)</a> il permet l'intégration de code JavaScript existant<a href="#cite_note-docu-9">[9]</a>.

PureScript assure la <a href="Compilation_incr%C3%A9mentale" title="Compilation incrémentale">compilation incrémentale</a>, et la distribution inclut un support au développement intéractif à partir de plugins à installer dans l'<a href="%C3%89diteur_de_texte" title="Éditeur de texte">éditeur de code source</a><a href="#cite_note-10">[10]</a>. Des plugins existent pour un grand nombre d'éditeurs connus incluant <a href="Vim" title="Vim">Vim</a>, <a href="Emacs" title="Emacs">Emacs</a>, <a href="Sublime_Text" title="Sublime Text">Sublime Text</a>, <a href="Atom_(%C3%A9diteur_de_texte)" title="Atom (éditeur de texte)">Atom</a> et <a href="Visual_Studio_Code" title="Visual Studio Code">Visual Studio Code</a>.

<div class="mw-heading mw-heading2"><h2 id="Exemples_de_codes">Exemples de codes</h2></div>

Voici un programme <a href="Hello_World" class="mw-redirect" title="Hello World">"Hello world!"</a> minimal en PureScript:<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>module Main where

import Effect.Console (log)

main = log "Hello World!"

</pre></div>

Ici, le type du programme est inféré et vérifié par le compilateur PureScript. Une version plus verbeuse du même programme pourrait explicitement inclure des annotations de type:<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>module Main where

import Prelude

import Effect (Effect)

import Effect.Console (log)

main :: Effect Unit

main = log "Hello World!"

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Enregistrements_en_PureScript">Enregistrements en PureScript</h3></div>

Le modèle choisi pour développer les enregistrements en PureScript a permis l'accès à certaines fonctionnalités qui sont encore absentes d'Haskell<a href="#cite_note-11">[11]</a>, ce qui fait de lui l'une des caractéristiques majeures du langage.

En tout premier lieu, il faut préciser qu'en PureScript chaque enregistrement possède un type particulier réservé à cet usage, qui est lui-même présenté sous la forme d'un enregistrement composé par un ensemble (non ordonné) de couples `étiquette :: type`.

Ainsi

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>carré :: { côté :: Number, aire :: Number }

carré = { côté: 3.0, aire: 9.0 }

</pre></div>

et

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>disque :: { rayon :: Number, aire :: Number }

disque = { rayon: 1.0, aire: 3.141592653589793 }

</pre></div>

sont deux enregistrements de types différents car, bien que le nombre et le type des valeurs sont les mêmes, les étiquettes ne le sont pas.

<div class="mw-heading mw-heading3"><h3 id="Enregistrements_polymorphes">Enregistrements polymorphes</h3></div>

Il est toutefois possible de définir une fonction qui peut s'appliquer à chacun des enregistrements précédents grâce au concept d'enregistrement polymorphe:

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>aireDe :: forall r. { aire :: Number | r } -> Number

aireDe = _.aire

</pre></div>

où le type de l'argument peut se lire comme "le type de tout enregistrement qui possède une étiquette `aire` de type `Number`, et qui possède éventuellement d'autre(s) étiquette(s)". L'argument de cette fonction est donc un enregistrement polymorphe et le compilateur aurait inféré

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>aireDe :: forall a b. { aire :: a | b } -> a

</pre></div>

si l'annotation n'avait pas été précisée.

<div class="mw-heading mw-heading3"><h3 id="Extensibilité_des_prototypes">Extensibilité des prototypes</h3></div>

En réalité, la notation { étiquette1 :: Type1, étiquette2 :: Type2 } n'est qu'un <a href="Sucre_syntaxique" title="Sucre syntaxique">sucre syntaxique</a> d'une construction plus générale qui facilite l'extension des types d'<a href="Type_alg%C3%A9brique_de_donn%C3%A9es#Type_produit" title="Type algébrique de données">enregistrements</a>, <code>Record</code> en PureScript (l'extension des <a href="Type_alg%C3%A9brique_de_donn%C3%A9es#Type_somme" title="Type algébrique de données">unions disjointes étiquetées</a><a href="#cite_note-12">[12]</a> est similaire). Cette construction est réalisée à partir de déclarations, de juxtapositions et d'applications de prototypes (<code>Row</code>):

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>-- Prototypes (syntaxe commune aux enregistrements et aux variants):

type NonConcrétisableA r = ( aire :: Number | r )

type NonConcrétisableBC r = ( boîte :: Boolean, côté :: Number | r )

type NonConcrétisableABC r = NonConcrétisableA (NonConcrétisableBC r)

</pre></div>

Il n'est pas directement possible de créer des valeurs correspondant à ces prototypes (<code>Row Type</code> et <code>Type</code> ne sont pas dans la même <a href="Th%C3%A9orie_des_cat%C3%A9gories" title="Théorie des catégories">catégorie</a>). Pour ce faire, on utilise le constructeur <code>Record</code>:

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>-- Type concret et ouvert (= paramétré):

type Enregistrement r = Record (NonConcrétisableABC r)

</pre></div>

Des valeurs peuvent alors peupler ce type:

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>-- Type concret et fermé (= non-paramétré):

carré :: Enregistrement ()

carré =

{ côté: 2.0

, aire: 4.0

, boîte: false

}

</pre></div>

ou une de ses extensions:

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr" dir="ltr"><pre>-- Type concret, étendu et fermé:

cube :: Enregistrement (volume :: Number)

cube =

{ côté: 2.0

, aire: 24.0

, volume: 8.0

}

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Système_de_types">Système de types</h3></div>

La similitude assumée entre le système de types d'Haskell et celui de PureScript comporte néanmoins certaines nuances, tant au niveau de la syntaxe (par exemple, le "genre" <a href="https://en.wikipedia.org/wiki/Kind_(type_theory)" class="extiw external" title="en:Kind (type theory)">(en)</a> <code>*</code> d'Haskell se nomme <code>Type</code> en PureScript), qu'aux niveaux des contraintes liées à sa manipulation (aucune extension n'est nécessaire pour accéder à la programmation au niveau "types" en PureScript) et des applications (la programmation au niveau "types" est nécessaire dans certains cas.)

En guise d'illustration sont présentés comparativement ci-après deux programmes PureScript complets qui, tous deux,

<ul><li>définissent le couplage générique entre deux entiers,</li>

<li>définissent l'égalité entre deux couples d'entiers, et</li>

<li>constatent la non-égalité de deux couples particuliers d'entiers,</li></ul>

mais, tandis que l'un est écrit dans un style de programmtion au niveau "valeurs" (connues au moment de l'exécution du programme), l'autre est écrit dans le style de programmation de niveau "types" (déterminés dès l'étape de compilation du programme) qui s'apparente à la <a href="Programmation_logique" title="Programmation logique">programmation logique</a>.

De plus, tandis que le premier programme manipule des entiers (signés) en simple précision (<code>Int</code>), le second

utilise des entiers en <a href="Arithm%C3%A9tique_multipr%C3%A9cision" title="Arithmétique multiprécision">multiprécision</a> (<code>Int</code> également, le contexte permettant la distinction), car l'usage de ce genre d'entiers nécessite la programmation de niveau "types" en PureScript si on se limite aux bibliothèques pré-installées.

<caption>Deux styles de programmation

</caption>

<th>Code au niveau valeurs</th>

<th>Description au niveau valeurs</th>

<th>Code au niveau types</th>

<th>Description au niveau types

</th></tr>

<tr>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>module Main where

</pre></div>

</td>

<td>

</pre></div>

</td>

<td>

</td></tr>

<tr>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>import Prelude

( Unit

, (==)

, (&&)

, ($)

, show

)

import Effect

( Effect

)

import Effect.Console

( log

)

</pre></div>

</td>

<td>l.5: comparaison d'entiers incluse</td>

<td><div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>import Prelude

( Unit

, ($)

)

import Data.Symbol

( reflectSymbol

, class IsSymbol

)

import Effect

( Effect

)

import Effect.Console

( log

)

import Prim.Boolean

( True

, False

)

import Prim.Int

( class Compare

)

import Prim.Ordering

( Ordering

, EQ

)

import Type.Prelude

( Proxy (..)

)

</pre></div>

</td>

<td>

l.22 : comparaison d'entiers incluse

Les éléments de <code>Prim</code> font référence à la programmation de niveau "types".

</td></tr>

<tr>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>data SimpleCouple

:: Type

data SimpleCouple

= S Int Int

</pre></div>

</td>

<td>l.20: <code>S</code>, le constructeur de type est employé directement pour décrire comment créer une nouvelle valeur possédant le type <code>SimpleCouple</code>

<code>Int</code> est ici le type des entiers codés sur 32 bits

</td>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>data MultiCouple

:: Type

data MultiCouple

foreign import data M

:: Int

-> Int

-> MultiCouple

</pre></div>

</td>

<td>

l.36: <code>M</code>, le constructeur de type est indirectement décrit et aucun moyen pour construire une valeur de type <code>MultiCouple</code> n'est fourni

l.37 et 38: <code>Int</code> est ici le type des entiers en précision arbitraire

</td></tr>

<tr>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>class EgalitéV

:: Type

-> Constraint

class EgalitéV v

where

égalitéV

:: v

-> v

-> Boolean

</pre></div>

</td>

<td>

l.22: la logique de ce programme tient entre les lignes 36 et 40; la classe, ici, est facultative et ne serait utile que si d'autres types possédaient la propriété <code>EgalitéV</code>

l.30: <code>Boolean</code> est le booléen des valeurs, ses habitants sont <code>true</code> et <code>false</code>

</td>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>class EgalitéT

:: MultiCouple

-> MultiCouple

-> Boolean

-> Constraint

class EgalitéT m1 m2 b

| m1 m2

-> b

class Subordonnée

:: Ordering

-> Ordering

-> Boolean

-> Constraint

class Subordonnée

compart

comparu

résultat

| compart comparu

-> résultat

</pre></div>

</td>

<td>

l.41 à 48: première étape essentielle de la mise en place de la logique du programme, cette partie fait état des entrées (<code>m1</code> et <code>m2</code>) et sortie (<code>b</code>) du comportement fonctionnel que l'on implémente

l.44 et 53: <code>Boolean</code> est le booléen des types, ses habitants sont <code>True</code> et <code>False</code>

</td></tr>

<tr>

<td>

EgalitéV

SimpleCouple

where

égalitéV

(S v1 w1)

(S v2 w2)

= v1 == v2

&& w1 == w2

</pre></div>

</td>

<td>

</td>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>instance

Subordonnée

EQ

EQ

True

else

instance

Subordonnée

c1

c2

False

instance

( Compare

t1

t2

compart

, Compare

u1

u2

comparu

, Subordonnée

compart

comparu

résultat

) =>

EgalitéT

(M t1 u1)

(M t2 u2)

résultat

</pre></div>

</td>

<td>

l.74 à 91: cette seconde étape constitue le cœur du problème et est résolu durant la phase de compilation

</td></tr>

<tr>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>rendu

:: Boolean

-> String

rendu = show

</pre></div>

</td>

<td>

</td>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>class Symbolise

:: Boolean

-> Symbol

-> Constraint

class Symbolise b s

| b -> s

instance

Symbolise

True

"True"

instance

Symbolise

False

"False"

rendu

:: forall s

. IsSymbol s

=> Proxy s

-> String

rendu = reflectSymbol

</pre></div>

</td>

<td>

l.97 à 106: fonctionnalité auxiliaire permettant ultérieurement d'utiliser la fonction <code>reflectSymbol</code>

</td></tr>

<tr>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>aprèsExécution

:: Boolean

aprèsExécution

= égalitéV

(S 3 4)

(S 5 6)

</pre></div>

</td>

<td>

l.51 et 52: 3, 4, 5 et 6 sont considérés en simple précision

</td>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>aprèsCompilation

:: forall b s

. EgalitéT

(M 3 4)

(M 5 6)

b

=> Symbolise b s

=> Proxy s

aprèsCompilation

= Proxy

</pre></div>

</td>

<td>

l.118 et 119: 3, 4, 5 et 6 sont considérés en multiprécision

l.122: derrière le type <code>Proxy s</code> se cache le résultat de la résolution du problème

l.124: c'est l'identifiant <code>Proxy</code> qui a été choisi pour représenter toute valeur de type <code>Proxy s</code> pour tout <code>s</code>

</td></tr>

<tr>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>main

:: Effect Unit

main

= log

$ rendu

aprèsExécution

</pre></div>

</td>

<td>

</td>

<td>

<div class="mw-highlight mw-highlight-lang-haskell mw-content-ltr mw-highlight-lines" dir="ltr"><pre>main

:: Effect Unit

main

= log

$ rendu

aprèsCompilation

</pre></div>

</td>

<td>

</td></tr></tbody></table>

<div class="mw-heading mw-heading2"><h2 id="Voir_aussi">Voir aussi</h2></div>

<li><a href="TypeScript" title="TypeScript">TypeScript</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Notes_et_références">Notes et références</h2></div>

<li id="cite_note-wikidata-611c4fdf413f9c91c7b9c14257205dbbc7c6d2ef-1"><a href="#cite_ref-wikidata-611c4fdf413f9c91c7b9c14257205dbbc7c6d2ef_1-0">↑</a> « <a rel="nofollow" class="external text" href="https://github.com/purescript/purescript/releases/tag/v0.15.15"><cite style="font-style:normal;">Release 0.15.15</cite></a> », <time class="nowrap" datetime="2024-02-07" data-sort-value="2024-02-07">7 février 2024</time> (consulté le <time class="nowrap" datetime="2024-02-20" data-sort-value="2024-02-20">20 février 2024</time>)

</li>

<li id="cite_note-license-2"><a href="#cite_ref-license_2-0">↑</a> « <a rel="nofollow" class="external text" href="https://github.com/purescript/purescript/blob/master/LICENSE"><cite style="font-style:normal;">purescript/purescript</cite></a> », sur GitHub

</li>

<li id="cite_note-3"><a href="#cite_ref-3">↑</a> « <a rel="nofollow" class="external text" href="https://www.haskell.org/hugs/pages/hugsman/exts.html#sect7.2.2"><cite style="font-style:normal;">Hugs documentation</cite></a> », sur www.haskell.org

</li>

<li id="cite_note-4"><a href="#cite_ref-4">↑</a> « <a rel="nofollow" class="external text" href="https://leanpub.com/purescript/read#leanpub-auto-about-the-author"><cite style="font-style:normal;">Read PureScript by Example | Leanpub</cite></a> », sur leanpub.com (consulté le <time class="nowrap" datetime="2019-03-14" data-sort-value="2019-03-14">14 mars 2019</time>)

</li>

<li id="cite_note-5"><a href="#cite_ref-5">↑</a> « <a rel="nofollow" class="external text" href="https://github.com/purescript/purescript"><cite style="font-style:normal;">PureScript on Github</cite></a> »

</li>

<li id="cite_note-6"><a href="#cite_ref-6">↑</a> « <a rel="nofollow" class="external text" href="https://github.com/purescript-contrib/pulp"><cite style="font-style:normal;">Pulp</cite></a> », PureScript Contrib (consulté le <time class="nowrap" datetime="2019-03-14" data-sort-value="2019-03-14">14 mars 2019</time>)

</li>

<li id="cite_note-7"><a href="#cite_ref-7">↑</a> « <a rel="nofollow" class="external text" href="https://pursuit.purescript.org/"><cite style="font-style:normal;">Pursuit</cite></a> », sur pursuit.purescript.org (consulté le <time class="nowrap" datetime="2019-03-14" data-sort-value="2019-03-14">14 mars 2019</time>)

</li>

<li id="cite_note-8"><a href="#cite_ref-8">↑</a> « <a rel="nofollow" class="external text" href="https://github.com/spacchetti/spago"><cite style="font-style:normal;">🍝 PureScript package manager and build tool powered by Dhall and package-sets: spacchetti/spago</cite></a> », spacchetti,‎ <time class="nowrap" datetime="2019-03-14" data-sort-value="2019-03-14">14 mars 2019</time> (consulté le <time class="nowrap" datetime="2019-03-14" data-sort-value="2019-03-14">14 mars 2019</time>)

</li>

<li id="cite_note-docu-9">« <a rel="nofollow" class="external text" href="https://github.com/purescript/documentation"><cite style="font-style:normal;">Documentation for the PureScript language, compiler, and tools.: purescript/documentation</cite></a> », PureScript, <time class="nowrap" datetime="2019-03-14" data-sort-value="2019-03-14">14 mars 2019</time> (consulté le <time class="nowrap" datetime="2019-03-14" data-sort-value="2019-03-14">14 mars 2019</time>)

</li>

<li id="cite_note-10"><a href="#cite_ref-10">↑</a> « <a rel="nofollow" class="external text" href="https://github.com/purescript/purescript/tree/dfbd19da85c92d82ed4c3184f950f74da5332e3f/psc-ide"><cite style="font-style:normal;">purs ide: Editor and tooling support for the PureScript programming language</cite></a> », <time class="nowrap" datetime="2019-04-21" data-sort-value="2019-04-21">21 avril 2019</time> (consulté le <time class="nowrap" datetime="2019-04-21" data-sort-value="2019-04-21">21 avril 2019</time>)

</li>

<li id="cite_note-11"><a href="#cite_ref-11">↑</a> « <a rel="nofollow" class="external text" href="https://wiki.haskell.org/Extensible_record"><cite style="font-style:normal;">Extensible record</cite></a> », sur wiki.haskell.org

</li>

<li id="cite_note-12"><a href="#cite_ref-12">↑</a> « <a rel="nofollow" class="external text" href="https://pursuit.purescript.org/packages/purescript-variant"><cite style="font-style:normal;"><code>Variant</code></cite></a> », <time class="nowrap" datetime="2019-04-21" data-sort-value="2019-04-21">21 avril 2019</time> (consulté le <time class="nowrap" datetime="2019-04-21" data-sort-value="2019-04-21">21 avril 2019</time>)

</li>

</ol></div>

</div>

<div class="mw-heading mw-heading2"><h2 id="Liens_externes">Liens externes</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://www.purescript.org">www.purescript.org</a></li></ul>

</div>

<ul id="bandeau-portail" class="bandeau-portail"><li> Portail de la programmation informatique </li> </ul></div><div><div class="zim-footer">

Cet article est issu de <a class="external text" title="Dernière modification le 2024-06-24" href="https://fr.wikipedia.org/wiki/?title=PureScript&oldid=216234309">Wikipédia</a>. Sauf mention contraire, le texte est disponible sous <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">Creative Commons Attribution-Share Alike 4.0</a>. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.

</div>

</div></div>

</div>

</main>

</div>

</body></html>